201. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
202. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
203. Towards an formal description of Ada
پدیدآورنده : Bjorner, Dines, 7391- ed
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Ada )Computer program language(
رده :
QA
76
.
73
.
A35
.
B5
204. Understanding Ada
پدیدآورنده : Shumate, Kenneth C
موضوع : ، Ada )Computer program language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
205. Understanding concurrency in Ada
پدیدآورنده : Ken Shumate
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Ada (Computer program language)
رده :
QA
،
76
.
73
،.
A35
,
S483
،
1988
